A Schröder-Bernstein theorem in Baer$\sp{\ast}$-rings with lattice-theoretic proof
نویسندگان
چکیده
منابع مشابه
A short proof of the Schröder-Simpson Theorem
We give a short and elementary proof of the Schröder-Simpson Theorem, viz., that the space of all continuous maps from a given space X, to the non-negative reals with their Scott topology, is the cone-theoretic dual of the probabilistic powerdomain on X.
متن کاملA cone theoretic Krein-Milman theorem in semitopological cones
In this paper, a Krein-Milman type theorem in $T_0$ semitopological cone is proved, in general. In fact, it is shown that in any locally convex $T_0$ semitopological cone, every convex compact saturated subset is the compact saturated convex hull of its extreme points, which improves the results of Larrecq.
متن کاملProof-Theoretic Investigations on Kruskal's Theorem
In this paper we calibrate the exact proof–theoretic strength of Kruskal’s theorem, thereby giving, in some sense, the most elementary proof of Kruskal’s theorem. Furthermore, these investigations give rise to ordinal analyses of restricted bar induction.
متن کاملA Proof-Theoretic Bound Extraction Theorem for CAT (κ) -Spaces
Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT(κ)-spaces X for κ > 0 and establish a new metatheorem that explains specific bound extractions that recently have been achieved in this ...
متن کاملA Yang–Mills theoretic proof of the Newlander–Nirenberg theorem
In this paper we collect and compare the various integrability conditions for almost complex manifolds as well as give a new geometric proof of the Newlander–Nirenberg theorem. The proof has a Yang–Mills theoretic flavour and is based on Uhlenbeck’s theorem on the existence of local Coulomb gauges.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1979
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1979-0534403-0